Fault Prevention and Removal Using Consistency Checks
نویسندگان
چکیده
Two-Stage Programming (2SP) is an experimental mixed-paradigm (functional/imperative) programming language with strong support for fault prevention and removal [3] through automatic verification of computation results with respect to a given specification. 2SP combines ideas of program verification, run-time checking, and result-checking [4]. The 2SP approach is to coordinate a functional specification of an algorithm by an imperative and optionally parallel/distributed coordination that keeps a strong consistency link with the specification. This approach guarantees: (1) Any inconsistency between coordination and specification is detected during a program execution; (2) Normal termination of a program execution implies the correctness of obtained results with respect to the specification, for that execution.
منابع مشابه
Title: Socrates on Ip Router Fault Detection General Conference Topics: Communications Quality & Reliability, N E T Work Operations & Management Socrates on Ip Router Fault Detection
SOCRATES is a software system for testing correctness of im plementations of IP routing protocols such as RIP OSPF and BGP It uses a probabilistic algorithm to construct random network topologies For each generated network topology it checks the correctness of routing table cal culation and the IP packet forwarding behavior For OSPF it also checks the consistency between network topologies and ...
متن کاملCost of Ensuring Safety in Distributed Database Management Systems
Generally, applications employing Database Management Systems (DBMS) require that the integrity of the data stored in the database be preserved during normal operation as well as after crash recovery. Preserving database integrity and availability needs extra safety measures in the form of consistency checks. Increased safety measures inflict adverse effect on performance by reducing throughput...
متن کاملMulti-objective Optimization for Fault Detection Using a Multivariable Wavelet Identification Procedure
This paper presents a multi-objective wavelet identification procedure for fault detection in dynamic systems. For this purpose, a multi-objective genetic algorithm is used to search for the Pareto frontier. Two objectives are taken into account, the minimization of the residual signal in nominal operating conditions and its maximization in faulty operating conditions. Thus, the proposed approa...
متن کاملA Framework and Comparative Analysis of Control Plane Security of SDN and Conventional Networks
Software defined networking implements the network control plane in an external entity, rather than in each individual device as in conventional networks. This architectural difference implies a different design for control functions necessary for essential network properties, e.g., loop prevention and link redundancy. We explore how such differences redefine the security weaknesses in the SDN ...
متن کاملAirborne Mitigation Of Constellation Wide Faults
Advanced Receiver Autonomous Integrity Monitoring (ARAIM) is being investigated as a promising method to provide vertical guidance for aircraft. One of the most significant concerns raised for ARAIM, is the possibility of multiple simultaneous faults being present on one of the constellations. This threat can be mitigated by forming position solutions that exclude each constellation in turn. Un...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998